Jim Woodcock: przeszukaj witrynę Z-Library

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (42)
Najbardziej popularne
Spis
- Spis
- Tablica

Software engineering mathematics

Addison-Wesley

Woodcock, Jim, Loomes, Martin

Rok:

1989

Język:

english

Plik:

PDF, 12.17 MB

0 / 0

english, 1989

Using Z.Specification,refinement,and proof

Prentice Hall

Jim Woodcock, Jim Davies

Rok:

1996

Język:

english

Plik:

PDF, 4.74 MB

0 / 0

english, 1996

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)

Rok:

2003

Język:

english

Plik:

PDF, 5.79 MB

0 / 0

english, 2003

Influence of environmental factors on mental health within prisons:focus group study [article]

Jo Nurse, Paul Woodcock, Jim Ornsby

Język:

english

Plik:

PDF, 101 KB

0 / 0

english

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 11.33 MB

0 / 0

english, 1999

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 1.86 MB

0 / 0

english, 2007

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 5.37 MB

0 / 0

english, 2007

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 4.29 MB

0 / 0

english, 2007

Using Z: Specification, Refinement, and Proof

Prentice Hall

Jim Woodcock, Jim Davies

Rok:

1996

Język:

english

Plik:

PDF, 1.24 MB

0 / 0

english, 1996

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 6.60 MB

0 / 0

english, 2007

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

Springer

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Rok:

2013

Język:

english

Plik:

PDF, 3.25 MB

0 / 0

english, 2013

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected ... / Programming and Software Engineering)

Springer

Marcel Vinícius Medeiros Oliveira, Jim Woodcock

Rok:

2009

Język:

english

Plik:

PDF, 3.83 MB

0 / 0

english, 2009

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 5.68 MB

0 / 0

english, 2013

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 4.56 MB

0 / 0

english, 2010

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 7.82 MB

0 / 0

english, 2007

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 3.55 MB

0 / 5.0

english, 2009

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 5.30 MB

0 / 0

english, 2013

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 4.63 MB

0 / 0

english, 2010

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 14.06 MB

0 / 0

english, 1999

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 5.03 MB

0 / 0

english, 2010

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Rok:

2009

Język:

english

Plik:

PDF, 7.15 MB

0 / 0

english, 2009

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

MOBI , 2.37 MB

0 / 0

english, 2013

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

FB2 , 3.60 MB

0 / 0

english, 2013

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 5.32 MB

0 / 0

english, 2013

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

LIT , 1.96 MB

0 / 0

english, 2013

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

AZW3 , 2.47 MB

0 / 0

english, 2013

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu & Jim Woodcock & Huibiao Zhu (eds.)

Plik:

RTF , 4.60 MB

0 / 0

Software Engineering for Robotics

Springer

Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, (eds)

Rok:

2021

Język:

english

Plik:

PDF, 46.46 MB

0 / 5.0

english, 2021

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

Springer

Shengchao Qin, Jim Woodcock, Wenhui Zhang

Rok:

2021

Język:

english

Plik:

PDF, 19.75 MB

0 / 5.0

english, 2021

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Springer International Publishing

John Fitzgerald, Peter Gorm Larsen, Jim Woodcock (auth.), Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.)

Rok:

2014

Język:

english

Plik:

PDF, 9.09 MB

0 / 0

english, 2014

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 3.01 MB

0 / 0

english, 2013

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 10.75 MB

0 / 0

english, 1999

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)

Rok:

2006

Język:

english

Plik:

PDF, 3.00 MB

0 / 0

english, 2006

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 5.34 MB

0 / 0

english, 2013

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 7.65 MB

0 / 0

english, 2008

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 4.73 MB

0 / 0

english, 2013

Theories of Programming and Formal Methods

Springer

Zhiming Liu, Jim Woodcock, Huibiao Zhu

Rok:

2013

Język:

english

Plik:

PDF, 5.67 MB

0 / 0

english, 2013

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)

Rok:

2013

Język:

english

Plik:

PDF, 2.19 MB

0 / 0

english, 2013

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 6.33 MB

0 / 0

english, 2007

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 3.09 MB

0 / 0

english, 2008

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 16.87 MB

0 / 0

english, 1999

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

John C. Reynolds (auth.), Natarajan Shankar, Jim Woodcock (eds.)

Rok:

2008

Język:

english

Plik:

PDF, 3.67 MB

0 / 0

english, 2008